Buy Used and New Carolyn Talcott Books

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings: 2315 (Lecture Notes in Computer Science)

by Carolyn Talcott,Farhad Arbab

ISBN 13: 9783540434108

Format: Paperback (424 pages)
Publisher: Springer
Published: 27 Mar 2002

Save for later

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday: 9200 (Lecture Notes in Computer Science)

by Narciso Martí-Oliet,Peter Csaba Ölveczky,Carolyn Talcott

ISBN 13: 9783319231648

Format: Paperback (648 pages)
Publisher: Springer
Published: 21 Aug 2015

Save for later

Composing Model-Based Analysis Tools

by Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler

ISBN 13: 9783030819170

Format: Paperback (323 pages)
Publisher: Springer
Published: 04 Dec 2022

Save for later